$a$ $<$$p$ $b$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\uparrow$($a$ $<_{b}$$p$ $b$)